Theoretical philosophy - PDFSEARCH.IO - Document Search Engine

Theoretical philosophy
Results: 555

#	Item
111	A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
112	Article Narrowing the field in elections: the Next-Two rule Journal of Theoretical Politics Add to Reading List Source URL: politics.as.nyu.edu Language: English - Date: 2012-03-05 14:05:22 Social choice theory Voting system criteria Runoff voting Two-round system Voting system Condorcet criterion Approval voting Single winner electoral systems Voting Political philosophy
113	Ivan CHVATÍK Center for Theoretical Study and Jan Patočka Archive in Prague (Charles University / Czech Academy of Sciences) Jan Patočka’s “Care for the Soul” in the “Nihilistic” World Add to Reading List Source URL: www.cts.cuni.cz Language: English - Date: 2010-11-16 14:14:40 Philosophy of technology Jan Patočka Gestell Socrates Martin Heidegger Soul Patočka Erazim Kohák Plato Philosophy Phenomenologists Ancient Greek philosophers
114	P1: GXB International Journal of Theoretical Physics [ijtp] pp830-ijtpJune 17, 2003 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-08-17 13:03:05 Thermodynamic entropy Quantum information science Thermodynamics Entropy Statistical mechanics Quantum mechanics Qubit Physical information Introduction to quantum mechanics Physics Information theory Philosophy of thermal and statistical physics
115	THEORETICAL CONTRIBUTION EvoS Journal: The Journal of the Evolutionary Studies Consortium Correlates, Cues, and Signals: A Decision Flowchart for Add to Reading List Source URL: evostudies.org Language: English - Date: 2014-12-12 15:45:37 Mental processes Philosophy of mind Evolutionary psychology Human behavior Philosophy of biology Perception Digit ratio Physical attractiveness Social psychology Behavior Mind Psychology
116	Privacy-Preserving Alert Correlation: A Concept Hierarchy Based Approach ∗ Dingbang Xu and Peng Ning Cyber Defense Laboratory Department of Computer Science North Carolina State University {dxu,pning}@ncsu.edu Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:25:57 Thermodynamic entropy Statistics Statistical theory Applied mathematics Rough set Entropy Correlation and dependence Alert messaging Measurement Theoretical computer science Philosophy of thermal and statistical physics Information theory
117	Proc Indian Natn Sci Acad 81 No. 2 March 2015 pp  Printed in India. DOI: ptinsa/2015/v81i2Public Lecture Add to Reading List Source URL: insa.nic.in Language: English - Date: 2015-04-01 08:08:53 Relativity Scientific method Classical mechanics The Unreasonable Effectiveness of Mathematics in the Natural Sciences Mathematics Theoretical physics Principle of relativity Quantum field theory General relativity Physics Science Philosophy of science
118	REGENTS IN ELA (Common Core) The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION REGENTS EXAMINATION Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2015-02-11 13:47:44 Physical cosmology Theoretical physics Philosophy of science Scientific method Reality Regents Examinations String theory Truth Scientific theory Physics Science Philosophy
119	JOURNAL OF CAUSAL INFERENCE Journal of Causal Inference (JCI) publishes papers on theoretical and applied causal research across the range of academic disciplines that use quantitative tools to study causality. Add to Reading List Source URL: www.degruyter.com Language: English Year of birth missing Knowledge Philosophy of science Causality Conditionals Sander Greenland Epidemiology James Robins Statistics Science Information Epidemiologists
120	LINGUISTICS, HISTORICISM AND THE HUMANITIES Jan Koster 1. Introduction From the point of view of a theoretical linguist, the period that covered most of Arthur van Essen’s academic career, the second half of the 20th c Add to Reading List Source URL: odur.let.rug.nl Language: English - Date: 2004-08-08 11:40:16 Thought Belief Evolution Human nature On the Origin of Species Social Darwinism Historicism Natural selection The Descent of Man and Selection in Relation to Sex Philosophy Science Knowledge

UPDATE